Practical improvements to class group and regulator computation of real quadratic fields Jean-Fran¸cois Biasse1 and Michael J. Jacobson, Jr.2? ´ Ecole Polytechnique, 91128 Palaiseau, France

Source URL: www.lix.polytechnique.fr

Density Computations for Real Quadratic Units Wieb Bosma; Peter Stevenhagen Mathematics of Computation, Vol. 65, NoJul., 1996), ppStable URL: http://links.jstor.org/sici?sici=%%2965%

Source URL: www.math.ru.nl

• Algebra
• Mathematics
• Abstract algebra
• Algebraic number theory
• Quadratic forms
• Field theory
• Modular arithmetic
• Quadratic field
• Prime number
• Discriminant
• Fundamental unit
• Factorization

A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department

Source URL: www.paultaylor.eu

• Theoretical computer science
• Theory of computation
• Functions and mappings
• Function
• Computable function
• Algorithm characterizations
• Primitive recursive function
• Mathematics
• Computability theory
• Mathematical logic

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.paultaylor.eu

• Theory of computation
• Computability theory
• Functions and mappings
• Recursion
• Function
• Computable number
• Compact space
• Subspace topology
• Sierpiński space
• Topology
• Mathematics
• General topology

BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for

Source URL: www.brics.dk

• Applied mathematics
• Models of computation
• Model checking
• Fixed-point combinator
• Abstraction
• Predicate
• Abstract interpretation
• Finite-state machine
• Function
• Theoretical computer science
• Mathematics
• Lambda calculus

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.paultaylor.eu

• Theory of computation
• Mathematical logic
• General topology
• Functional analysis
• Computable number
• Computable function
• Continuous function
• Baire space
• Topological space
• Computability theory
• Mathematics
• Topology

Real-time computation of interactive waves using the GPU Martijn de Jong, Auke van der Ploeg, Auke Ditzel, Kees Vuik,

Source URL: ta.twi.tudelft.nl

BRICS Basic Research in Computer Science BRICS RSJensen & Nielsen: Real-Time Layered Video Compression using SIMD Computation Real-Time Layered Video Compression

Source URL: www.brics.dk

Scheduling in the Real World: Lessons Learnt∗ Roman van der Krogt and James Little and Helmut Simonis Cork Constraint Computation Centre Department of Computer Science, University College Cork, Cork, Ireland {roman | j

Source URL: 4c.ucc.ie

By: Chris Rommel – Executive Vice President Introduction Embedded systems have infiltrated nearly every facet of our lives. Expectations for omnipresent connectivity and real-time, contextual computation are changing

Source URL: www.oracle.com